Henrique Gomes & Jeremy Butterfield : Geometrodynamics As Functionalism About Time